1. Algebraic approaches to program semantics
Author: Manes, Ernest G., 3491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Algebra
Classification :
QA
76
.
7
.
M34
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Algebraic approaches to program semantics
Author: Manes, Ernest G
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Algebra
Classification :
QA
76
.
7
.
M34
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Algebraic approaches to program semantics
Author: Manes, Ernest G.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Algebra
Classification :
QA
76
.
7
.
M34
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Arrows, structures, and functors :
Author: Michael A. Arbib, Ernest G. Manes
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra,Categories (Mathematics),Functor theory
Classification :
QA169
.
A7
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Arrows, structures, and functors, the categorical imperative
Author: Arbib, Michael A.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Categories )Mathematics(,، Functor theory,، Algebra
Classification :
QA
169
.
A7
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)